Semantics and type theory of S-Net —DRAFT—
نویسندگان
چکیده
The paper briefly introduces the language S-Net and discusses in detail its concept of type and subtyping. Novel subtyping features are described and analysied: tag-controlled record subtyping and flow inheritance. A simple semantic formalism is proposed and the semantics of S-Net closure defined. We prove that type inference for S-Net is computationally efficient provided that the resulting type structures are of reasonable size.
منابع مشابه
TTR for Natural Language Semantics ?
? This work was supported in part by Vetenskapsr̊adet project 2009-1569, Semantic analysis of interaction and coordination in dialogue (SAICD), by the Lab(oratory of )Ex(cellence)-EFL (ANR/CGI), and by the Disfluency, Exclamations, and Laughter in Dialogue (DUEL) project within the projets franco-allemand en sciences humaines et sociales funded by the ANR and the DFG. We are grateful for comment...
متن کاملA New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملThe Semantics of the Goodness and the Ugly
There are different views concerning the meanings of the most important ethical concepts such as the goodness and the ugly. The author of this article while classifying various views and explaining them, tries to make a critical study of those views as well. Accordingly, first he goes on to examine critically the theory of emotionalists as one of the most important non-cognitive theories. Th...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملبررسی نقش زبان و کارکردهایاجرایی در رشد نظریهذهن کودکانناشنوا
Theory of Mind is a comprehensive and general term about the state of intention that determines the quality of a person's social interaction and without it we would not be able to interpret the actions of others. While researchers express the causative role of language in Theory of Mind’s development as a social and fundamental capacity, recent studies have suggested a close link between ...
متن کامل